fix php undefined error